Criteria for Analysing Algorithms